adwaita: Uncomment accidentally commented lines

The result looks wrong but the css looks right.

diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 9216431d1c0cbfc993fa8393be0948cc239c7b83..92541d0cdbdd45960f274bbb347c926fe06a2946 100644 (file)
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -3038,8 +3038,8 @@ scale {
                                                      (top, left, right),
                                                      (bottom, right, left) {
       &.#{$marks_class} {
-        //margin-#{$marks_margin}: $_marks_distance;
-        //margin-#{$marks_pos}: -($_marks_distance + $_marks_length);
+        margin-#{$marks_margin}: $_marks_distance;
+        margin-#{$marks_pos}: -($_marks_distance + $_marks_length);
       }
     }
   }

diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css
index 2360ccd0b4966e8d78dec230a608f0040bc46882..ddb023f0580009fca3f5bd7c0a09511008612318 100644 (file)
--- a/gtk/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/theme/Adwaita/gtk-contained-dark.css
@@ -1267,6 +1267,14 @@ scale value { color: alpha(currentColor,0.55); }
 
 scale marks { color: alpha(currentColor,0.55); }
 
+scale marks.top { margin-bottom: 6px; margin-top: -12px; }
+
+scale marks.bottom { margin-top: 6px; margin-bottom: -12px; }
+
+scale marks.top { margin-right: 6px; margin-left: -12px; }
+
+scale marks.bottom { margin-left: 6px; margin-right: -12px; }
+
 scale.fine-tune marks.top { margin-bottom: 6px; margin-top: -9px; }
 
 scale.fine-tune marks.bottom { margin-top: 6px; margin-bottom: -9px; }

diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css
index d5faa4444ec6314470ab59e342fe611cdb82ece6..b8dc1b3ef4840d90547724f029730b092149fd4a 100644 (file)
--- a/gtk/theme/Adwaita/gtk-contained.css
+++ b/gtk/theme/Adwaita/gtk-contained.css
@@ -1287,6 +1287,14 @@ scale value { color: alpha(currentColor,0.55); }
 
 scale marks { color: alpha(currentColor,0.55); }
 
+scale marks.top { margin-bottom: 6px; margin-top: -12px; }
+
+scale marks.bottom { margin-top: 6px; margin-bottom: -12px; }
+
+scale marks.top { margin-right: 6px; margin-left: -12px; }
+
+scale marks.bottom { margin-left: 6px; margin-right: -12px; }
+
 scale.fine-tune marks.top { margin-bottom: 6px; margin-top: -9px; }
 
 scale.fine-tune marks.bottom { margin-top: 6px; margin-bottom: -9px; }